c ACM, 2009. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym

Source URL: ndmitchell.com

• Software engineering
• Declarative programming
• Computer programming
• Lambda calculus
• Functional programming
• Subroutines
• Formal methods
• Theoretical computer science
• Combinatory logic
• Let expression
• Lambda lifting
• Anonymous function

Detecting Pattern-Match Failures in Haskell

Source URL: ndmitchell.com

Uniform Boilerplate and List Processing

Source URL: ndmitchell.com

• Software engineering
• Subroutines
• Expected value
• Constructible universe
• Parameter
• Object-oriented programming languages
• Lambda calculus
• Data types

A Supercompiler for Core Haskell Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy ev

Source URL: ndmitchell.com

• Software engineering
• Mathematics
• Declarative programming
• Lambda calculus
• Functional programming
• Functions and mappings
• Let expression
• Embedding
• Monad
• Anonymous function

Supero: Making Haskell Faster Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy evalu

Source URL: ndmitchell.com

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Lambda calculus
• Subroutines
• Functional languages
• Literate programming
• Monad
• Let expression
• Glasgow Haskell Compiler
• Anonymous function

Synthesizing Checksums and Lambda Calculus Using Jog Dr. Mark Zarqawi 1 Motivation

Source URL: pdos.csail.mit.edu

• Search algorithms
• Error detection and correction
• Hash function
• Evaluation

COLORING THE RATIONALS IN REVERSE MATHEMATICS EMANUELE FRITTAION AND LUDOVIC PATEY Abstract. Ramsey’s theorem for pairs asserts that every 2-coloring of the pairs of integers has an infinite monochromatic subset. In th

Source URL: ludovicpatey.com

• Mathematics
• Mathematical analysis
• Logic in computer science
• Differential forms
• Combinatory logic
• Lambda calculus
• Peano axioms
• Closed and exact differential forms
• Differential forms on a Riemann surface
• Banach fixed-point theorem

xpanda Table of contents Introduction......................................................................................................................................1 Usage........................................

Source URL: potassco.sourceforge.net

• Mathematics
• Constraint programming
• Declarative programming
• Software engineering
• Formal methods
• Theoretical computer science
• Lambda calculus
• Syntax
• Variable
• HindleyMilner type system
• Constraint logic programming
• Local consistency

Implementing a Dependently Typed Lambda Calculus Wouter Swierstra

Source URL: www.staff.science.uu.nl

c Cambridge University Press 2009 JFP: page 1 of 24.  1 doi:S0956796809990219

Source URL: www.cs.ioc.ee

• Logic in computer science
• Programming language semantics
• Models of computation
• Computability theory
• Logic programming
• Substitution
• Operational semantics
• Denotational semantics
• Lambda calculus
• Structure